Intel x86

1

All processors of the Intel x86 family are little endian .

所有Intelx86家族的处理器使用的都是小端字节。
2

But what happens if a client running on a big endian IBM PowerPC attempts to send a32-bit integer to a little endian Intel x86 ?

但是，如果一个运行在高位优先的IBMPowerPC上的客户端发送一个32位的整数到一个低位优先的Intelx86，那将会发生什么呢？
3

We have implemented a certifying compiler that translates programs written in a type safe subset of the C programming language into highly annotated Intel x86 / linux assembly language programs .

我们设计的编译器认证编译器已经实现了这些算法，并完成了从用C编程语言的类型安全子集编写的源程序到携带注解的Intelx86/linux汇编语言程序的编译过程。